Kurt Gödel - PDFSEARCH.IO - Document Search Engine

Kurt Gödel
Results: 43

#	Item
31	Computers, Paradoxes and the Foundations of Mathematics Some great thinkers of the 20th century have shown that even in the austere world of mathematics, incompleteness and randomness are rife Gregory J. Chaitin Add to Reading List Source URL: www.cs.umaine.edu Language: English - Date: 2002-02-07 17:02:09 Mathematical logic Computability theory Philosophy of mathematics Theoretical computer science Formal systems Kurt Gödel Halting problem Kolmogorov complexity Algorithmic information theory Mathematics Logic Science
32	On Formally Undecidable Propositions of Principia Mathematica Add to Reading List Source URL: jacqkrol.x10.mx Language: English - Date: 2013-09-21 05:15:44 Principia Mathematica Axiom On Formally Undecidable Propositions of Principia Mathematica and Related Systems Kurt Gödel Theorem Rule of inference Peano axioms Metamathematics Formal proof Logic Mathematics Mathematical logic
33	ROTATING UNIVERSES IN GENERAL RELATIVITY THEORY KURT GöDEL Add to Reading List Source URL: www.mathunion.org Language: English - Date: 2012-04-18 10:22:24 Exact solutions in general relativity Conservation laws Rotational symmetry Rotation General relativity Angular momentum Gravitation Symmetry Vector space Physics Algebra Physical quantities
34	J.A. van Maanen Laudatio for Ivor Grattan-Guinness Add to Reading List Source URL: www.nieuwarchief.nl Language: English - Date: 2012-03-30 12:17:53 Philosophy of mathematics Kurt Gödel Science Fellows of the Royal Society Logicians Number theorists Daniel Bernoulli Mathematics Ivor Grattan-Guinness Philosophy
35	IS THE CONTINUUM HYPOTHESIS A DEFINITE MATHEMATICAL PROBLEM? Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2011-10-02 02:02:57 Proof theory Continuum hypothesis Forcing Hypotheses Kurt Gödel Conjecture Set theory Decidability Truth Mathematical logic Logic Mathematics
36	national academy of sciences Kurt GÖdel Add to Reading List Source URL: www.nasonline.org Language: English - Date: 2012-07-16 13:50:50 Model theory Predicate logic Formal languages Formal systems Logical syntax First-order logic Interpretation Axiom Well-formed formula Logic Mathematical logic Mathematics
37	The Gödel Prize[removed]Laudatio The Gödel Prize 2012 for outstanding papers in theoretical computer science Add to Reading List Source URL: www.eatcs.org Language: English - Date: 2012-05-16 04:12:21 Academia Algorithmic game theory Algorithmic mechanism design Éva Tardos Price of anarchy Kurt Gödel Christos Papadimitriou Gödel Prize Algorithm Game theory Science Computer science
38	people-sept.indd Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-08-12 11:02:18 Sanjeev Arora Gödel Prize Joseph S. B. Mitchell International Colloquium on Automata Languages and Programming ACM SIGACT Travelling salesman problem Burton Rodin Mathematics Kurt Gödel Theoretical computer science Applied mathematics Computer science
39	PDF Document Add to Reading List Source URL: dml.cz Formal systems Ladislav Rieger Kurt Gödel Rieger Axiom Jaroslav Kurzweil Mathematics Logic Philosophy
40	[removed]pdf Add to Reading List Source URL: www.waltersorrentino.com.br Language: English - Date: 2012-02-06 10:12:38 Complex systems theory Douglas Hofstadter Kurt Gödel Complexity Faber and Faber Gödel Escher Bach Italo Calvino Copyright Science Literature Knowledge

UPDATE